ar X iv : 0 80 2 . 21 28 v 1 [ m at h . L O ] 1 5 Fe b 20 08 Perfect IFG - formulas

نویسنده

  • ALLEN L. MANN
چکیده

IFG logic [1] is a variant of the independence-friendly logic of Hintikka and Sandu [3, 2]. We answer the question: " Which IFG-formulas are equivalent to ordinary first-order formulas? " We use the answer to show that the ordinary cylindric set algebra over a structure can be embedded into a reduct of the IFG-cylindric set algebra over the structure.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : 0 80 1 . 07 10 v 2 [ m at h . C V ] 1 1 Fe b 20 08 KOPPELMAN FORMULAS AND THE ∂̄ - EQUATION ON ANALYTIC VARIETIES

Let Z be an analytic subvariety of pure codimension p of a pseudoconvex set X in C n. We introduce a formalism to generate weighted Koppelman formulas on Z that provide solutions to the ¯ ∂-equation. We prove that if φ is a smooth (0, q + 1)-form on Z with ¯ ∂φ = 0, then there is a smooth (0, q)-form ψ on Z reg with at most polynomial growth at Z sing such that ¯ ∂ψ = φ. The integral formulas a...

متن کامل

ar X iv : 0 80 2 . 38 39 v 1 [ m at h . G R ] 2 6 Fe b 20 08 Quadratic equations over free groups are NP - complete

We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete

متن کامل

ar X iv : 0 80 2 . 25 80 v 1 [ m at h . G T ] 1 9 Fe b 20 08 3 - Dimensional Schlaefli Formula and Its Generalization

Several identities similar to the Schlaefli formula are established for tetrahedra in a space of constant curvature.

متن کامل

ar X iv : 0 80 2 . 36 29 v 1 [ gr - q c ] 2 5 Fe b 20 08 Bianchi models with vorticity : The type III bifurcation

We study the late-time behaviour of tilted perfect fluid Bianchi type III models using a dynamical systems approach. We consider models with dust, and perfect fluids stiffer than dust, and eludicate the late-time behaviour by studying the centre manifold which dominates the behaviour of the model at late times. In the dust case, this centre manifold is 3-dimensional and can be considered as a d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008